Cuantificador universal

En lógica y matemáticas, se usa el símbolo ∀, denominado cuantificador universal, antepuesto a una variable para decir que «para todo» elemento de un cierto conjunto se cumple la proposición dada a continuación. Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual aparecen todas las constantes.

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Cuantificador universal — En lógica matemática, se usa el símbolo , denominado cuantificador universal, antepuesto a una variable para decir que para todo elemento de un cierto conjunto se cumple la proposición dada a continuación. En texto se puede representar con el… …   Wikipedia Español

  • cuantificador — ► sustantivo masculino 1 LÓGICA Elemento que se usa para expresar la cantidad en un enunciado o un juicio. 2 LINGÜÍSTICA Determinante que expresa idea de cantidad: ■ todo y dos son cuantificadores. * * * cuantificador. m. Elemento o palabra que… …   Enciclopedia Universal

  • universal — (Del lat. universalis.) ► adjetivo 1 ASTRONOMÍA Del universo o espacio celeste: ■ ley de gravitación universal. 2 Que pertenece o se extiende a todo el mundo: ■ el amor es un sentimiento universal. ANTÓNIMO individual 3 Que es común a un grupo de …   Enciclopedia Universal

  • Cuantificador — Saltar a navegación, búsqueda En Teoría de conjuntos, un cuantificador se utiliza para indicar cuántos elementos de un conjunto dado cumplen con cierta propiedad. Existen tres tipos de cuantificadores, cuyas características resumimos en la… …   Wikipedia Español

  • cuantificador — 1. m. Elemento o palabra que cuantifica. 2. Mat. Símbolo antepuesto que relaciona una o más variables con una cantidad. cuantificador existencial. m. Mat. Símbolo que indica que existe al menos un elemento de un conjunto que cumple una… …   Diccionario de la lengua española

  • Universal — puede referirse a: Universal (filosofía) Universal (metafísica) Conjunto universal Proposición universal Cuantificador universal Universal Music Group Universal Studios Universal Edition El Universal, nombre de diversos diarios en América Latina …   Wikipedia Español

  • universal — (Del lat. universālis, y este formado sobre el gr. καθολικός). 1. adj. Perteneciente o relativo al universo. 2. Que comprende o es común a todos en su especie, sin excepción de ninguno. 3. Que lo comprende todo en la especie de que se habla. 4.… …   Diccionario de la lengua española

  • Cuantificador existencial — En el lenguaje de predicados en lógica matemática, se usa el símbolo: , llamado cuantificador existencial, antepuesto a una variable para decir que existe al menos un elemento del conjunto al que hace referencia la variable, que cumple la… …   Wikipedia Español

  • Cuantificador existencial — En lógica y en matemáticas, se usa el símbolo ∃, llamado cuantificador existencial, antepuesto a una variable para decir que «existe» al menos un elemento del conjunto al que hace referencia la variable, que cumple la proposición escrita a… …   Enciclopedia Universal

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.